K. Bednarska, A. Indrzejczak; "Hypersequent Calculi for S5: The Methods of Cut Elimination"
$ \bf S5
の
ハイパーシークエント計算
について